abstraction elimination造句

例句与造句

1. Unlambda is based on the principle of abstraction elimination, or the elimination of all saved variables, including functions.
2. Especially, the deduction theorem specific to Hilbert-style logic matches the process of abstraction elimination of combinatory logic.
3. It's difficult to find abstraction elimination in a sentence. 用abstraction elimination造句挺难的